A Column-Pivoting Based Strategy for Monomial Ordering in Numerical Gröbner Basis Calculations
نویسندگان
چکیده
This paper presents a new fast approach to improving stability in polynomial equation solving. Gröbner basis techniques for equation solving have been applied successfully to several geometric computer vision problems. However, in many cases these methods are plagued by numerical problems. An interesting approach to stabilising the computations is to study basis selection for the quotient space C[x]/I. In this paper, the exact matrix computations involved in the solution procedure are clarified and using this knowledge we propose a new fast basis selection scheme based on QR-factorization with column pivoting. We also propose an adaptive scheme for truncation of the Gröbner basis to further improve stability. The new basis selection strategy is studied on some of the latest reported uses of Gröbner basis methods in computer vision and we demonstrate a fourfold increase in speed and nearly as good over-all precision as the previous SVD-based method. Moreover, we get typically get similar or better reduction of the largest errors.
منابع مشابه
Pivoting in Extended Rings for Computing Approximate Gröbner Bases
It is well known that in the computation of Gröbner bases arbitrarily small perturbations in the coefficients of polynomials may lead to a completely different staircase, even if the solutions of the polynomial system change continuously. This phenomenon is called artificial discontinuity in Kondratyev’s Ph.D. thesis. We show how such phenomenon may be detected and even “repaired” by using a ne...
متن کاملMonomial Orderings, Rewriting Systems, and Gröbner Bases for the Commutator Ideal of a Free Algebra
In this paper we consider a free associative algebra on three generators over an arbitrary field K. Given a term ordering on the commutative polynomial ring on three variables over K, we construct uncountably many liftings of this term ordering to a monomial ordering on the free associative algebra. These monomial orderings are total well orderings on the set of monomials, resulting in a set of...
متن کاملSubalgebra Analogue to Standard Basis for Ideal
The theory of “subalgebra basis” analogous to standard basis (the generalization of Gröbner bases to monomial ordering which are not necessarily well ordering [1].) for ideals in polynomial rings over a field is developed. We call these bases “SASBI Basis” for “Subalgebra Analogue to Standard Basis for Ideals”. The case of global orderings, here they are called “SAGBI Basis” for “Subalgebra Ana...
متن کاملOn the Complexity of a Gröbner Basis Algorithm
While the computation of Gröbner bases is known to be an expspace-complete problem, the generic behaviour of algorithms for their computation is much better. We study generic properties of Gröbner bases and analyse precisely the best algorithm currently known, F5. 1. Gröbner Bases Gröbner bases are a fundamental tool in computational algebra. They provide a multivariate generalization of Euclid...
متن کاملComplete pivoting strategy for the $IUL$ preconditioner obtained from Backward Factored APproximate INVerse process
In this paper, we use a complete pivoting strategy to compute the IUL preconditioner obtained as the by-product of the Backward Factored APproximate INVerse process. This pivoting is based on the complete pivoting strategy of the Backward IJK version of Gaussian Elimination process. There is a parameter $alpha$ to control the complete pivoting process. We have studied the effect of dif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008